Équivalence

Définition

Soit P et Q deux propositions.
L'équivalence notée P ⇔ Q est une proposition qui est vraie lorsque P et Q sont toutes les deux  vraies ou toutes les deux fausses, et fausse sinon.

Exemples

• Pour tout \(x\in\mathbb{R}\), \(-2\leq x\leq2 \Leftrightarrow x^2\leq4\)
  
• \(\text A\text B\text C\text D\) parallélogramme \(\Leftrightarrow~\overrightarrow{\text A\text B}=\overrightarrow{\text D\text C}\)